Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
331	A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-07 09:31:03 Applied mathematics Formal verification Logic in computer science KeY Abstract interpretation Modal logic Predicate transformer semantics Theoretical computer science Formal methods Logic
332	ALICe: A Benchmark to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-28 04:42:34 Loop invariant Convex function Finitary relation Program logic Abstraction Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
333	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science
334	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
335	Microsoft Word - Tuang_diss_afterFinalPresent45.doc Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2006-04-04 20:54:24 Parts of speech Semantics Predicate Predicate logic Subject Copula Verb argument Complement Semantic role labeling Linguistics Grammar Logic
336	Indefinites Adrian Brasoveanu, Donka F. Farkas · UC Santa Cruz · abrsvn, 0.1 Introduction Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-29 14:26:28 Predicate logic Semantics Ontology Quantification Donkey sentence Singular they Definite description Determiner First-order logic Logic Linguistics Syntax
337	1 Logic-based Formalisms for Statistical Relational Learning James Cussens Department of Computer Science & York Centre for Complex Systems Analysis Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2006-09-08 09:58:34 Bayesian statistics Predicate logic Philosophy of mathematics Non-classical logic Probabilistic logic Bayesian probability Markov logic network Probability interpretations First-order logic Logic Mathematics Mathematical logic
338	LOCATIONS AND BINDING 1 §1 An Intuitive Difference Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:34 Mathematical logic Predicate logic Quantification Model theory Function Subject Verb Interpretation Theta role Linguistics Logic Semantics
339	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming
340	ACSL Version 1.7 Implementation in Fluorine ACSL: ANSI/ISO C Specication Language Version 1.7 Fluorine Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 Data types Pointer C Predicate Logic programming Pascal Dangling pointer Software engineering Computing Computer programming

UPDATE